Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[Enhancement] Support push down aggregate functions in mv rewrite #49979

Open
wants to merge 1 commit into
base: main
Choose a base branch
from

Conversation

LiShuMing
Copy link
Contributor

@LiShuMing LiShuMing commented Aug 19, 2024

Why I'm doing:

For simple aggregate functions(eg: min/max/sum), we can push down the agg function even if it's not exactly matched:

    // eg:
    // sum(fn(col)) = fn(sum(col))
    // min(fn(col)) = fn(min(col))
    // max(fn(col)) = fn(max(col))

eg:

CREATE TABLE `tbl1` (
  `k1` date,
  `k2` decimal64(18, 2),
  `k3` varchar(255),
  `v1` bigint 
) ENGINE=OLAP 
DUPLICATE KEY(`k1`, `k2`, `k3`)
DISTRIBUTED BY RANDOM
PROPERTIES (
"replication_num" = "1"
);

CREATE MATERIALIZED VIEW `mv1` 
DISTRIBUTED BY RANDOM
REFRESH ASYNC
PROPERTIES (
"replication_num" = "1"
)
AS SELECT k1, k2, k3, sum(v1) from tbl1 group by k1, k2, k3

-- Cannot be rewritten by mv1!
select t1.k1, 
    sum(case when t1.k1 between date_add('2024-07-20', interval -1 month) and  date_add('2024-07-20', interval 1 month) then t1.v1 else 0 end) 
    from tbl1 t1 group by t1.k1

What I'm doing:

  • Supports to push down min/max/sum aggregate function
    • If the argument is a column ref, and operator map contains the column ref, return true
    • If the argument is a call operator and contains multi-column refs(Ony IF/CaseWhen is supported), ensure the aggregate column does not appear in the condition clause.
  • Add more tests about if(cond, val1, val2) and case when rewrite test cases.

Fixes #issue

What type of PR is this:

  • BugFix
  • Feature
  • Enhancement
  • Refactor
  • UT
  • Doc
  • Tool

Does this PR entail a change in behavior?

  • Yes, this PR will result in a change in behavior.
  • No, this PR will not result in a change in behavior.

If yes, please specify the type of change:

  • Interface/UI changes: syntax, type conversion, expression evaluation, display information
  • Parameter changes: default values, similar parameters but with different default values
  • Policy changes: use new policy to replace old one, functionality automatically enabled
  • Feature removed
  • Miscellaneous: upgrade & downgrade compatibility, etc.

Checklist:

  • I have added test cases for my bug fix or my new feature
  • This pr needs user documentation (for new or modified features or behaviors)
    • I have added documentation for my new feature or new function
  • This is a backport pr

Bugfix cherry-pick branch check:

  • I have checked the version labels which the pr will be auto-backported to the target branch
    • 3.3
    • 3.2
    • 3.1
    • 3.0
    • 2.5

@LiShuMing LiShuMing requested a review from a team as a code owner August 19, 2024 11:59
@github-actions github-actions bot added the 3.3 label Aug 19, 2024
@LiShuMing LiShuMing force-pushed the fix/main/support_push_down_aggregate_functions_mv_rewrite branch 2 times, most recently from e8ef9ad to 3a360a4 Compare August 23, 2024 10:10
@LiShuMing
Copy link
Contributor Author

@mergify rebase

Copy link
Contributor

mergify bot commented Aug 26, 2024

rebase

✅ Branch has been successfully rebased

@LiShuMing LiShuMing force-pushed the fix/main/support_push_down_aggregate_functions_mv_rewrite branch from 248da0f to 39d686a Compare August 26, 2024 05:45
@LiShuMing LiShuMing requested a review from a team as a code owner August 27, 2024 05:17
@LiShuMing LiShuMing force-pushed the fix/main/support_push_down_aggregate_functions_mv_rewrite branch from 940cb58 to c004596 Compare August 27, 2024 06:03
@LiShuMing LiShuMing force-pushed the fix/main/support_push_down_aggregate_functions_mv_rewrite branch from c004596 to b6f7885 Compare September 19, 2024 15:11
Copy link

sonarcloud bot commented Sep 19, 2024

Copy link

[Java-Extensions Incremental Coverage Report]

pass : 0 / 0 (0%)

Copy link

[FE Incremental Coverage Report]

pass : 104 / 112 (92.86%)

file detail

path covered_line new_line coverage not_covered_line_detail
🔵 com/starrocks/sql/optimizer/rule/transformation/materialization/EquationRewriter.java 95 103 92.23% [202, 263, 278, 286, 294, 300, 317, 336]
🔵 com/starrocks/sql/optimizer/rule/transformation/materialization/AggregateFunctionRollupUtils.java 5 5 100.00% []
🔵 com/starrocks/sql/analyzer/QueryAnalyzer.java 4 4 100.00% []

Copy link

[BE Incremental Coverage Report]

pass : 0 / 0 (0%)

// if fn is a scalar function, it can be pushed down to mv union rewrite.
public static final Map<String, String> MV_REWRITE_PUSH_DOWN_FUNCTION_MAP = ImmutableMap.<String, String>builder()
// Functions and rollup functions are the same.
.put(FunctionSet.SUM, FunctionSet.SUM)
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

why not support COUNT?

return rewriter.rewrite(arg0);
} else {
// if there are many column refs in arg0, the agg column must be the same.
if (arg0Call.getFnName().equalsIgnoreCase(FunctionSet.IF)) {
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

how about other functions: ifnull, nullif, coalesce?

} else {
// if there are many column refs in arg0, the agg column must be the same.
if (arg0Call.getFnName().equalsIgnoreCase(FunctionSet.IF)) {
if (arg0Call.getChildren().size() != 3) {
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

IF functions's children num must be 3, no need check!

return null;
}
// constant operator
if (colRefs.size() == 0) {
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

how about const null operator?
sum(null) seems should be rewritten into 0;
max(null) seems should be rewritten into null;

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants